Concurrent Reversible Sessions

نویسندگان

  • Ilaria Castellani
  • Mariangiola Dezani-Ciancaglini
  • Paola Giannini
چکیده

We present a calculus for concurrent reversible multiparty sessions, which improves on recent proposals in several respects: it allows for concurrent and sequential composition within processes and types, it gives a compact representation of the past of processes and types, which facilitates the definition of rollback, and it implements a fine-tuned strategy for backward computation. We propose a refined session type system for our calculus and show that it enforces the expected properties of session fidelity, forward and backward progress, as well as causal consistency. In conclusion, our calculus is a conservative extension of previous proposals, offering enhanced expressive power and refined analysis techniques. 1998 ACM Subject Classification F.1.2 Parallelism and Concurrency, F.3.3 Type Structure

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reversible session-based pi-calculus

In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, ina rollback fashion, the effect of previously executed interactions. This per-mits to take different computation paths along the same session, as wellas to revert the whole session and starting a new one. Our aim is to de-fine a th...

متن کامل

Towards Reversible Sessions ∗ Francesco

In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for e...

متن کامل

Towards Reversible Sessions

In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for e...

متن کامل

Reversibility in Massive Concurrent Systems

We introduce reversible structures, an algebra for massive concurrent systems, where terms retain bits of causal dependencies that allow one to reverse computation histories. We then study the implementation of (weak coherent) reversible structures in three-domains dna strands, which is the natural model that has inspired reversible structures. We finally provide schemas for modeling significan...

متن کامل

The Effect of an 8-Week Concurrent Training on Plasma Endothelin_1 Level and Blood Pressure of Old Women

Background & Aims: Endothelin_1 secreted by endothelial cells has been identified as the strongest vascular constrictor. The aim of the present study was to investigate the role of concurrent training on plasma concentration of endothelin_1 and its relationship with blood pressure of old women. Methods: A total of 20 menopause women (Mean age: 67.47±5.92 years, mean body length: 152.92±7.52cm, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017